Formal Methods In Software Engineering – alle Bücher

Wir konnten keine exakten Treffer zu Ihrer Suche nach "Formal Methods in Software Engineering" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:

Software Engineering and Formal Methods

This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6¿8, 2024.The 23 full p…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 76,66

System Design in Software Engineering

This book offers a broad range of ideas from CoMeSySo 2024, highlighting theory and practice in modern computing. Researchers from diverse backgrounds present their latest findings on systems design, soft…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 219,03

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in …

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 81,04

New Perspectives in Software Engineering

The goal of this book is to provide a broad understanding on the New Perspectives in Software Engineering research. The advancement of computers, and mobile devices, among others, has led to the creation …

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 240,94

New Challenges in Software Engineering

Trends in Software Engineering: A Bibliometric Study.- Faults Detection in Use Case Modeling Learning.- Measurement of information technology service quality for the Faster Payment Systems in Peru.- User-…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 219,03

Agile Processes in Software Engineering and Extreme Programming

This open access book constitutes the proceedings of the 26th International Conference on Agile Software Development, XP 2025, which took place in Brugg-Windisch, Switzerland, during June 2-5, 2025.XP is …

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 43,80

Agile Processes in Software Engineering and Extreme Programming - Workshops

This open access book constitutes revised selected papers from the workshops held at the 25th International Conference on Agile Software Development, XP 2024, which took place in Bozen-Bolzano, Italy, dur…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 43,80

Research Perspectives on Software Engineering and Systems Design

This book combines cutting-edge research addressing current challenges and emerging opportunities in computing, artificial intelligence, sustainability, and education. Through interdisciplinary insights, …

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 240,94

Design Tools and Methods in Industrial Engineering IV

This book gathers original peer-reviewed papers reporting on innovative methods and tools in design, modeling, simulation and optimization, and their applications in engineering design, manufacturing, and…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 240,94

Amiya K Jana
Numerical Methods in Engineering

Numerical methods are a cornerstone of modern engineering. This lucid textbook strikes a balance between theory and analysis of numerical methods and their practical applications in engineering. Each chap…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 124,41

Domain Decomposition Methods in Science and Engineering XXVII

These are the proceedings of the 27th International Conference on Domain Decomposition Methods in Science and Engineering, which was held in Prague, Czech Republic, in July 2022.Domain decomposition metho…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 240,94

Computer Methods in Biomechanics and Biomedical Engineering II

This book gathers selected, extended and revised contributions to the 18th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, held on May 3-5, 2023, at Arts Et Métiers…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 175,23

Analytical and Experimental Methods in Mechanical and Civil Engineering

This book publishes contributions of the 1st Olympiad in Engineering Science (OES 2023), an international congress and contest aiming to disseminate and evaluate the recent advances in Engineering Science…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 273,80

Software Engineering: Emerging Trends and Practices in System Development

This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.This b…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 240,94

Software Engineering: Emerging Trends and Practices in System Development

This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.This b…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 240,94

Software Engineering: Emerging Trends and Practices in System Development

Lecture Notes in Networks and Systems - Band 1563

This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.This b…

lieferbar in mind. 4 Wochen
Buch
Aktueller Preis: EUR 219,03

Software Engineering: Emerging Trends and Practices in System Development

This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.This b…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 240,94

Saheed Olalekan Ojo, Hasan M Khalid, Aniket Gopa Chanda, Paul M Weaver
Inverse Differential Quadrature Method and Its Application in Engineering

Inverse Differential Quadrature Method and its Application in EngineeringAuthoritative reference introducing iDQM as a numerical tool to accurately perform high fidelity analyses efficiently for solving p…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 163,55

Advances in Optimization Algorithms for Multidisciplinary Engineering Applications: From Classical Methods to AI-Enhanced Solutions

This book is an authoritative compilation of the latest advancements in optimization techniques. This book covers a wide array of methods ranging from classical to metaheuristic to AI-enhanced approaches.…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 186,19

Marcus J. Neuer
Machine Learning for Engineers

Machine learning and artificial intelligence are ubiquitous terms for improving technical processes. However, practical implementation in real-world problems is often difficult and complex.This textbook e…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 53,32
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.